How hard would it be to add another menu that just reads "/etc/tools.menu"
and adds these line by line to a "tools"-menu ?
Right now I use the "quit"-options to go into my own "menu" and start my tools, but that looks really nasty.

anti